2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
W. Buchholz
,
S. Feferman
,
W. Pohlers
,
W. Sieg
Категория:
Образование
11.87 Mb
#2
Kurt Goedel: Essays for his Centennial
Feferman S.
,
Parsons C.
,
Simpson S.G. (eds.)
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.48 Mb
#3
Reports of the Midwest Category Seminar III
S. MacLane (Editor)
,
M. Barr
,
P. Berthiaume
,
B. J. Day
,
J. Duskin
,
S. Feferman
,
G. M. Kelly
,
M. Tierney
,
R. F. C. Walters
6.45 Mb
#4
Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)
Solomon Feferman
,
Charles Parsons
,
Stephen G. Simpson (eds)
1.96 Mb
#5
Are There Absolutely Unsolvable Problems - Godel's Dichotomy
Feferman Solomon
Категория:
fiction
113 Kb
#6
Feferman S. Chislovye sistemy (ru)(T)(449s).djvu
5.70 Mb
#7
Feferman S. Chislovye sistemy (ru)(449s).djvu
4.31 Mb
#8
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz
,
S. Feferman
,
W. Pohlers
,
W. Sieg
2.62 Mb
#9
Collected works. Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Mathematical logic
4.26 Mb
#10
Collected works. Publications 1938-1974
Kurt Gödel
,
S. Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
G. Moore
,
R. Solovay
,
the late Jean van Heijenoort
Категория:
Mathematical logic
3.42 Mb
#11
Iterated Inductive Definitions and Subsystems of Analysis
W. Buchholz
,
S. Feferman
,
W. Pohlers
,
W. Sieg
Категория:
Lecture notes
2.47 Mb
#12
1-Consistency and faithful interpretations
Feferman S.
,
Kreisel G.
,
Orey S.
620 Kb
#13
Model-theoretic logics
J. Barwise
,
S. Feferman
,
J. Baldwin
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
7.46 Mb
#14
Collected Works: Volume I: Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Математика
26.18 Mb
#15
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
13.27 Mb
#16
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
Kurt Gödel
,
S. Feferman (Editor-in-Chief)
,
John W. Dawson Jr.
,
Warren Goldfarb
,
Charles Parsons
,
R. Solovay
4.74 Mb
#17
Model-Theoretic Logics
J. Barwise
,
S. Feferman
,
J. Baldwin
77.17 Mb
#18
In the Light of Logic
Solomon Feferman
Категория:
science_books
,
math
20.89 Mb
#19
Collected Works. - Unpublished essays and lectures
Kurt Gödel
,
S. Feferman (Editor-in-Chief)
,
John W. Dawson Jr.
,
Warren Goldfarb
,
Charles Parsons
,
R. Solovay
Категория:
M_Mathematics
,
MW_Collected works
4.67 Mb